The Pentagon complied with the request, but it is not known whether the options for an Iran strike were also provided to the White House or if President Donald Trump knew about it. The decision to seek options striking Iran was prompted by an incident in September in which three mortars were fired into a diplomatic quarter in Baghdad, the newspaper said. The shells landed in an open lot and no one was hurt.
State Department Secretary Mike Pompeo did not comment on the story when asked about it by reporters and a State Department spokeswoman declined to comment. A Pentagon spokesman did not have any immediate comment on the story and the White House and National Security Council could not be immediately reached.